Search results for "petrinets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
50	Gen'ichi Yasuda	Design and Implementation of Petrinet Based Distributed Control Architecture for Robotic Manufacturing Systems.	MICAI	2007	DBLP DOI BibTeX RDF	Distributed control, manufacturing systems, industrial robotics, Petrinets
32	Yngve Lamo, Adrian Rutle (eds.)	Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Philipp Bende, Olga Vovk, David Caraveo, Ludwig Pechmann, Martin Leucker	A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Igor Bossenko, Gunnar Piho, Peeter Ross	Forward and Backward Compatibility Deign Techniques Applying the HL7 FHIR Standard.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Peter Pfeiffer, Heike Sander, Peter Fettke, Wolfgang Reisig	Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Kristian Kankainen, Toomas Klementi, Gunnar Piho, Peeter Ross	Using SNOMED CT as a Semantic Model for Controlled Natural Language Guided Capture of Clinical Data.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Fazle Rabbi 0001, Bahareh Fatemi, Wendy MacCaull	Analysis of Patient Pathways with Contextual Process Mining.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Toomas Klementi, Kristian Juha Ismo Kankainen, Gunnar Piho, Peeter Ross	Prospective Research Topics towards Preserving Electronic Health Records in Decentralised Content-Addressable Storage Networks.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Severin A. Eliassen, Harald Soleim, Atle Birger Geitung, Lars Peder V. Bovim	VR-based rehabilitation of cognitive functions among stroke-survivors.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Patrick Stünkel, Sabine Leh, Friedemann Leh	Process Data Science for Workflow Optimization in Digital Pathology: A status report.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32		Preface.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Rainer Randmaa, Igor Bossenko, Toomas Klementi, Gunnar Piho, Peeter Ross	Evaluating business meta-models for semantic interoperability with FHIR resources.	HEDA@Petri Nets	2022	DBLP BibTeX RDF
32	Kunal Patidar, Tushar, Madhusmita Das, Biju R. Mohan	Performance evaluation of Nuclear Power Plant Injection Systems using PetriNets.	ICAC	2021	DBLP DOI BibTeX RDF
32	Simon Van Mierlo, Hans Vangheluwe	Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool.	MoDELS (Satellite Events)	2017	DBLP BibTeX RDF
32	Ajit Kumar Verma, Ajit Srividya, Anil Rana	Use of stochastic petrinets in modeling of safety device inspection interval problem.	Int. J. Syst. Assur. Eng. Manag.	2015	DBLP DOI BibTeX RDF
32	Véronique Cortier, Riadh Robbana (eds.)	Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , Tunis, Tunisia, June 23rd, 2014.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Daniel Moldt, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Reggie Davidrajuh	Solving Assembly Line Balancing Problems with Emphasis on Cost Calculations: A Petrinets Based Approach.	EMS	2014	DBLP DOI BibTeX RDF
32	Assia Ben Shil, Kaouthar Blibech	A Timestamping Scheme with Eternal Security in the Bounded Storage Model.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani	Secrecy by Witness Functions.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Sami Zhioua, Mahjoub Langar	Traffic Analysis of Web Browsers.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb	Extraction of Insider Attack Scenarios from a Formal Information System Modeling.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Mahjoub Langar, Karim Dahmani	Formal Enforcement of Security Policies on Choreographed Services.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Mark Ryan 0001, Gurchetan S. Grewal, Liqun Chen 0002	Du-Vote: Remote Electronic Voting with Untrusted Computers.	FMS @ Petri Nets	2014	DBLP BibTeX RDF
32	Djaouida Dahmani, Samia Mazouz, Malika Boukala	Modular Modeling of SMIL Documents with Complex Termination Events.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Kamila Barylska	Persistency and Nonviolence Decision Problems in P/T-Nets with Step Semantics.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom	Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Petr Polasek, Vladimír Janousek, Milan Ceska 0001	Petri Net Simulation as a Service.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Ning Ge 0002, Marc Pantel	Real-Time Property Specific Reduction for Time Petri Net.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir	A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Artur Niewiadomski 0001, Wojciech Penczek	PlanICS 2.0 - A Tool for Composing Services.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Jörg Desel, Görkem Kilinç 0001	Observable Liveness.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Lars Michael Kristensen	An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Dennis M. M. Schunselaar, Eric Verbeek 0001, Wil M. P. van der Aalst, Hajo A. Reijers	Petra: A Tool for Analysing a Process Family.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Luca Bernardinello, Lucia Pomello, Stefano Scaccabarozzi	Morphisms on Marked Graphs.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb	Compatibility Analysis of Time Open Workflow Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Messaoud Rahim, Malika Boukala-Ioualalen, Ahmed Hammad	Petri Nets Based Approach for Modular Verification of SysML Requirements on Activity Diagrams.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Kais Klai	On-The-Fly Model Checking of Times Properties on Time Petri Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Markus Huber 0006, Robert Lorenz 0001	Constructing Petri Net Transducers with PNTooL.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Kent Inge Fagerland Simonsen	An Evaluation of Automated Code Generation with the PetriCode Approach.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Kerstin Irgang, Thomas Irgang	Visual Language Plans - Formalization of a Pedagogical Learnflow Modeling Language.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Artur Niewiadomski 0001, Karsten Wolf	LoLA as Abstract Planning Engine of PlanICS.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Ramchandra Phawade, Kamal Lodaya	Kleene Theorems for Labelled Free Choice Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Rawand Guerfel, Zohra Sbaï	D&A4WSC as a Design and Analysis Framework of Web Services Composition.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Ikhlef Lyes, Ouiza Lekadir, Djamil Aïssani	Performance Analysis of M/G/1 Retrial Queue with Finite Source Population Using Markov Regenerative Stochastic Petri Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Artur Niewiadomski 0001, Wojciech Penczek	SMT-based Abstract Temporal Planning.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Yasir Imtiaz Khan, Nicolas Guelfi	Slicing High-level Petri Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Mihai-Lica Pura, Didier Buchs	Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Yasir Imtiaz Khan, Nicolas Guelfi	SLAPN : A Tool for Slicing Algebraic Petri Nets.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Lukasz Mikulski, Artur Niewiadomski 0001, Marcin Piatkowski, Sebastian Smyczynski	Generating CA-Plans from Multisets of Services.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós	Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Robin Bergenthum, Joachim Schick	Verification of Logs - Revealing Faulty Processes of a Medical Laboratory.	PNSE @ Petri Nets	2014	DBLP BibTeX RDF
32	Anil Rana, Ajit Kumar Verma, Ajit Srividya	Use of petrinets for solution of a stern gland optimal inspection interval problem.	Int. J. Syst. Assur. Eng. Manag.	2011	DBLP DOI BibTeX RDF
32	Louchka Popova-Zeugmann, Matthias Werner 0001, Jan Richling	Using State Equation to Prove Non-Reachability in Timed Petrinets.	Fundam. Informaticae	2003	DBLP BibTeX RDF
32	Jan Richling, Louchka Popova-Zeugmann, Matthias Werner 0001	Verification of Non-functional Properties of a Composable Architecture with Petrinets.	Fundam. Informaticae	2002	DBLP BibTeX RDF
32	Stefan Einer, Roman Slovák, Eckehard Schnieder	Modeling train control systems with Petrinets-an operational specification.	SMC	2000	DBLP DOI BibTeX RDF
32	Holger Herbst, Gerhard Knolmayer	Petrinets as Derived Process Representations in the BROCOM-Approach.	Wirtschaftsinf.	1996	DBLP BibTeX RDF
32	Kumkum Garg	An Approach to Performance Specification of Communication Protocols Using Timed Petrinets.	ICDCS	1984	DBLP BibTeX RDF
32	K. Garg	Design and performance validation techniques for distributed systems using timed petrinets.		1984	RDF
28	Peggy B. McGee, Steven M. Nowick, Edward G. Coffman Jr.	Efficient performance analysis of asynchronous systems based on periodicity.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	performance, asynchronous, periodic, marked graphs, petrinets
28	Dario Bruneo, Marco Scarpa, Angelo Zaia, Antonio Puliafito	Communication Paradigms for Mobile Grid Users.	CCGRID	2003	DBLP DOI BibTeX RDF	QoS, Grid computing, mobile agents, wireless systems, Petrinets
28	Yigang Chen, Wei-Tek Tsai, Daniel Y. Chao	Dependency Analysis - A Petri-Net-Based Technique for Synthesizing Large Concurrent Systems.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	computational complexity, computational complexity, parallel processing, Petri nets, liveness, concurrent systems, reachability, boundedness, dependency relations, Petrinets
28	Rüdiger Valk	Bridging the Gap Between Place- and Floyd-Invariants with Applications to Preemptive Scheduling.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF	structure and behavior of Petri nets, place-invariants, Floyd-invariants, selfmodifying coloured Petrinets, program verification, coloured Petri nets, higher-level net models, analysis and synthesis
22	Ryutaro Fujimoto, Hiroyuki Okamura, Tadashi Dohi	Security Evaluation of an Intrusion Tolerant System with MRSPNs.	ARES	2009	DBLP DOI BibTeX RDF
22	Alexandre Abellard, Patrick Abellard	A Design Methodology of Systolic Architectures Based on a Petri Net Extension. Application to a Stereovision Hardware/Software Processing Improvement.	ICSEA	2008	DBLP DOI BibTeX RDF
22	Yongyan Zheng, Jiong Zhou, Paul Krause	Analysis of BPEL Data Dependencies.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
22	René David, Hassane Alla	On Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	modeling, Petri nets, continuous, hybrid, extended
22	Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud	Modeling, Simulation and Analysis of Batch Production Systems.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	simulation, Petri nets, hybrid modeling
22	Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu	Decidability results in First-Order Hybrid Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, decidability properties, timed automata, hybrid automata
22	Bruno Tuffin, Dong S. Chen, Kishor S. Trivedi	Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	modeling, hybrid systems, stochastic Petri nets, fluid models
22	Isabel Demongodin	Generalised Batches Petri Net: Hybrid Model For High Speed Systems With Variable Delays.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid Petri nets, hybrid speed systems, modelling, performance analysis, supervisory control
22	Luis A. Castillo, Antonio González Muñoz	A Nonlinear Planner for Solving Sequential Control Problems in Manufacturing Systems.	IBERAMIA	1998	DBLP DOI BibTeX RDF
22	Karlheinz Agsteiner, Dieter Monjau, Sören Schulze	Object-Oriented High Level Modeling of Complex Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
22	Ursula Goltz, Wolfgang Reisig	Processes of Place/Transition-Nets.	ICALP	1983	DBLP DOI BibTeX RDF