The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for petrinets with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2002 (15) 2003-2014 (45) 2015-2022 (14)
Publication types (Num. hits)
article(11) inproceedings(59) phdthesis(1) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 37 keywords

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