Search results for "Petri-net"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
43	Dimitris Christodoulakis	Modeling the semantics of smalltalk-80 with Petri nets.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF	Smalltalk-80
43	Niels Lohmann, Eric Verbeek 0001, Remco M. Dijkman	Petri Net Transformations for Business Processes - A Survey.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
43	Hua Xu, Peifa Jia	A Fuzzy Timed Object-Oriented Petri Net for Multi-Agent Systems.	ISNN (2)	2008	DBLP DOI BibTeX RDF
43	Hua Xu, Peifa Jia	Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis.	RSKT	2006	DBLP DOI BibTeX RDF	Petri nets, Object-oriented methods, temporal knowledge
43	Wei-Kiat Tan, Sheng Uei Guan	A dynamic Petri net model for iterative and interactive distributed multimedia presentation.	IEEE Trans. Multim.	2005	DBLP DOI BibTeX RDF
43	Xuan F. Zha	A Novel Genetic Fuzzy/Knowledge Petri Net Model and Its Applications.	WSC	2004	DBLP DOI BibTeX RDF
43	Gery Gutnik, Gal A. Kaminka	A Scalable Petri Net Representation of Interaction Protocols for Overhearing.	AC	2004	DBLP DOI BibTeX RDF
43	Gery Gutnik, Gal A. Kaminka	A Scalable Petri Net Representation of Interaction Protocols for Overhearing.	AAMAS	2004	DBLP DOI BibTeX RDF
43	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
43	Bo Lindstrom	Web-based interfaces for simulation of coloured Petri net models.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Batch simulations, CGI scripts, Design/CPN, Coloured Petri nets, Web interfaces, HTML forms
43	Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia	Petri Net Analysis Using Boolean Manipulation.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
42	Roland Meyer 0001, Victor Khomenko, Tim Strazny	A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.	Petri Nets	2008	DBLP DOI BibTeX RDF	finite control processes, safe processes, Petri net unfoldings, model checking, mobile systems, ?-Calculus
42	Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo	Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints.	SAC	2009	DBLP DOI BibTeX RDF	UML, embedded systems, time petri net, requirement validation
42	Jing Xu, Laura Recalde, Manuel Silva Suárez	Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.	Discret. Event Dyn. Syst.	2008	DBLP DOI BibTeX RDF	Join-free timed continuous Petri net, Input constraints, Convergence analysis, Tracking control
42	Jaechang Nam	A Trust Framework of Ubiquitous Healthcare with Advanced Petri Net Model.	eHealth	2008	DBLP DOI BibTeX RDF	Trust framework, Petri net, Ubiquitous healthcare
42	Gustavo Rau de Almeida Callou, Paulo Romero Martins Maciel, Ermeson Carneiro de Andrade, Bruno Costa e Silva Nogueira, Eduardo Antonio Guimarães Tavares	A coloured petri net based approach for estimating execution time and energy consumption in embedded systems.	SBCCI	2008	DBLP DOI BibTeX RDF	simulation, energy consumption, embedded software, coloured petri net, execution time
42	Dalju Lee, Jongmoon Baik	QoS Protocol Verification using Petri-Net for Seamless Mobility in a Ubiquitous Environment: A Case Study.	SNPD	2008	DBLP DOI BibTeX RDF	QoS Protocol, Petri-Net, Protocol Verification
42	Minghu Ha 0001, Yan Li 0003, Xiao-Feng Wang	Fuzzy knowledge representation and reasoning using a generalized fuzzy petri net and a similarity measure.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Generalized fuzzy Petri net, Weighted fuzzy production rule, Knowledge representation, Similarity measure, Fuzzy reasoning
42	Tzu-Husan Wu, Rita Kuo, Maiga Chang, Jia-Sheng Heh	Developing a Learning Notification Express Delivery Service for Students Based on Petri-Net.	ICALT	2006	DBLP DOI BibTeX RDF	Learning Feedback, Petri-net, Computer Assisted Learning
42	Wen-Yu Liu 0001, Kwoting Fang	Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow.	HICSS	2006	DBLP DOI BibTeX RDF	Task Ontology, IDEF0/Petri net, Debris-Flow
42	Julia Fix, Christian von Scheve, Daniel Moldt	Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling.	AAMAS	2006	DBLP DOI BibTeX RDF	socionics, MAS, emotions, social norms, petri net modeling
42	Ping-Yu Hsu 0001, Yuan-Bin Chang, Yen-Liang Chen	STRPN: A Petri-Net Approach for Modeling Spatial-Temporal Relations between Moving Multimedia Objects.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	spatial-temporal relations, two-phase firing conditions, valid firing sequences, relative coordination, multimedia, Petri Net
42	Veyis Gunes, Pierre Loonis, Michel Ménard	A Fuzzy Petri Net for Pattern Recognition: Application to Dynamic Classes.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Dynamic knowledge representation, Pattern recognition, Fuzzy Petri net
42	Sheng Uei Guan, Wei Liu, Kenneth Ong	An extendible Petri net model for Memex-like applications.	ISCC	2002	DBLP DOI BibTeX RDF	color token, Internet, Petri Net, interaction multimedia, multimedia synchronization, Memex
42	King Sing Cheung, K. O. Chow, T. Y. Cheung	Deriving Scenarios Of Object Interaction Through Petri Net.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	object lifecycle, Petri net, object interaction, object behaviour
42	Ekkart Kindler	A Compositional Partial Order Semantics for Petri Net Components.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
42	Osamu Mizuno, Shinji Kusumoto, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto	Estimating the Number of Faults using Simulator based on Generalized Stochastic Petri-Net Model.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	software test and debug, software development, software fault, Petri-net model
42	Chuang Lin 0002, Bo Li 0001, Jianping Wu	Modeling ATM traffic using stochastic Petri net.	ICCCN	1997	DBLP DOI BibTeX RDF	stochastic high level Petri net, stochastic events, ATM traffic control modeling, concurrent events, nondeterministic events, state space explosion problem, bursty traffic source, traffic rate control, token condensing, performance analysis, asynchronous transfer mode, ATM networks, multimedia traffic, asynchronous events, submodels, reduction method
42	Denis Avrilionis, Pierre-Yves Cunin	Using views to maintain Petri-net-based process models.	ICSM	1995	DBLP DOI BibTeX RDF	Petri-net-based process model maintenance, quality aspects, real software-production process, sub-model, participant perception, abstract modules, formally defined operators, Process Weaver modelling language, review process model, view evolution, view composition, Petri nets, software maintenance, software tools, software quality, programming environments, products, views, maintainability, computer aided software engineering, software process model, activities, simulation languages, project support environments, process model change
42	Rudolf K. Keller, Marianne Ozkan, Xijin Shen	Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
42	Reg G. Willson, Bruce H. Krogh	Petri Net Tools for the Specification and Analysis of Discrete Controllers.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Petri net tools, discrete controllers, discrete-state systems, rule-based state-variable-specification formalism, interconnected state machines, reduced reachability graphs, discrete manufacturing systems, modeling, formal specification, Petri nets, specification, controllers, computerised control, discrete systems
42	Hany H. Ammar, S. M. Rezaul Islam	Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling
42	Joanne Bechta Dugan, Gianfranco Ciardo	Stochastic Petri Net Analysis of a Replicated File System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	performance reliability tradeoffs, stochastic Petri net model, replicated file system, voting algorithm, file status, majority protocols, Petri nets, fault tolerant computing, distributed databases, concurrency control, distributed environment, witnesses
42	Cécile Bui Thanh, Hanna Klaudel	Object-Oriented Modelling with High-Level Modular Petri Nets.	IFM	2004	DBLP DOI BibTeX RDF
42	Franck Pommereau	Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
42	Barbara Fryc, Krzysztof Pancerz, Zbigniew Suraj	Approximate Petri Nets for Rule-Based Decision Making.	Rough Sets and Current Trends in Computing	2004	DBLP DOI BibTeX RDF	approximate Petri nets, approximate reasoning, decision systems
42	Sahika Genc, Stéphane Lafortune	Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
42	Manuel Silva Suárez, Robert Valette	Petri nets and flexible manufacturing.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF
42	Boudewijn F. van Dongen, Ana Karla Alves de Medeiros, L. Wen	Process Mining: Overview and Outlook of Petri Net Discovery Algorithms.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
42	Takashi Hattori, Hiroshi Kawakami, Osamu Katai, Takayuki Shiose	Encoding Modalities into Extended Petri Net for Analyzing Discrete Event Business Process.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF
42	Reggie Davidrajuh	Developing a New Petri Net Tool for Simulation of Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	GPenSIM, XML, modeling and simulation, discrete event system
42	Pier Francesco Palamara, Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pedro U. Lima	Teamwork Design Based on Petri Net Plans.	RoboCup	2008	DBLP DOI BibTeX RDF
42	Wang Ge, Ren Nan	Modeling and Research of the E-government System Based on Petri net.	CSSE (4)	2008	DBLP DOI BibTeX RDF
42	Naiqi Wu, Liping Bai, Chengbin Chu	Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net.	IEEE Trans. Syst. Man Cybern. Part C	2007	DBLP DOI BibTeX RDF
42	Adi Mallikarjuna Reddy V, D. Janakiram	e-Petri Net Model for Programming Integrated Network of Wireless Sensor Networks and Grids.	CIT	2007	DBLP DOI BibTeX RDF
42	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged processes: a new condensed representation of Petri net behaviour.	Acta Informatica	2006	DBLP DOI BibTeX RDF
42	Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, César A. L. de Oliveira, Adilson Arcoverde, Raimundo S. Barreto, Eduardo Tavares, Leonardo Amorim	A Retargetable Environment for Power-Aware Code Evaluation: An Approach Based on Coloured Petri Net.	PATMOS	2005	DBLP DOI BibTeX RDF
42	Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler	Merged Processes - A New Condensed Representation of Petri Net Behaviour.	CONCUR	2005	DBLP DOI BibTeX RDF
42	Naiqi Wu, Liping Bai, Chengbin Chu	Hybrid Petri net modeling for refinery process.	SMC (2)	2004	DBLP DOI BibTeX RDF
42	Stéphane Julia, Fernanda Francielle de Oliveira	A p-time hybrid Petri net model for the scheduling problem of workflow management systems.	SMC (5)	2004	DBLP DOI BibTeX RDF
42	Gang Xu, Zhiming Wu	A Kind of Deadlock-free Scheduling Method Based on Petri Net.	HASE	2002	DBLP DOI BibTeX RDF
42	Yuyue Du, Changjun Jiang	Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows.	ICFEM	2002	DBLP DOI BibTeX RDF
42	Ashok K. Murugavel, N. Ranganathan	Petri net modeling of gate and interconnect delays for power estimation.	DAC	2002	DBLP DOI BibTeX RDF
42	Hartmann J. Genrich, Robert Küffner, Klaus Voss	Executable Petri net models for the analysis of metabolic pathways.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Glycolysis, Citric acid cycle, Coloured Petri nets, Executable model, Metabolic pathway
42	Antonio Camurri, Paolo Franchi, Francesca Gandolfo, Renato Zaccaria	Petri net based process scheduling: A model of the control system of flexible manufacturing systems.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	concurrent scheduling, timed Petri nets, CASE, High-level petri nets, flexible manufacturing systems
42	Michel Barbeau, Gregor von Bochmann	The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach.	CAV	1991	DBLP DOI BibTeX RDF
42	Z. P. Tao, M. Goossens	Pitfalls of Petri net transformation.	SPDP	1991	DBLP DOI BibTeX RDF
42	Gurdeep S. Hura 0001, M. A. Costarellam C. G. Buell, M. M. Cvetanovic	PNSOFT: a menu-driven software package for Petri-net modeling and analysis.	ICCL	1988	DBLP DOI BibTeX RDF
42	C. V. Ramamoorthy, Yuh Yaw	A petri net reduction algorithm for protocol analysis.	SIGCOMM	1986	DBLP DOI BibTeX RDF
42	Jinqiang Zhao, Zhenhua Duan	Verification of Use Case with Petri Nets in Requirement Analysis.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	Petri net, Model Driven Development, use case, requirement analysis
42	Guisheng Fan, Huiqun Yu, Liqiong Chen, Dongmei Liu	Analyzing BPEL Compositionality Based on Petri Nets.	COMPSAC	2008	DBLP DOI BibTeX RDF	Verification, Petri Net, BPEL, Soundness, compositionality
42	Nabendu Chaki, Swapan Bhattacharya	Permutation Mapping for MIN Using High Level Net Models.	ICPADS	1997	DBLP DOI BibTeX RDF
41	Wil M. P. van der Aalst	Interval Timed Coloured Petri Nets and their Analysis.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
41	Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai	Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net.	DSD	2007	DBLP DOI BibTeX RDF
41	Koichi Okada, Katsumi Wasaki, Yasunari Shidama	The persistence of the Petri Net state-space.	ICARCV	2002	DBLP DOI BibTeX RDF
41	Javier Campos, Susanna Donatelli, Manuel Silva Suárez	Structured Solution of Asynchronously Communicating Stochastic Modules.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	performance analysis, Petri net models, Kronecker algebra, structural decomposition
41	Toshinori Suzuki, Sol M. Shatz, Tadao Murata	A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	conversion rules, automated modeling, input/output behavior, linguistic specifications, LAPD protocol, verification, Petri nets, Petri nets, protocols, program verification, specification language, specification languages, communication protocols, timed Petri net
40	Anikó Costa, Luís Gomes 0001	Module Composition within Petri Nets Model-based Development.	SIES	2007	DBLP DOI BibTeX RDF
40	Krzysztof Bilinski, Erik L. Dagless	High Level Synthesis of Synchronous Parallel Controllers.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF
40	Li Jiao, To-Yat Cheung, Weiming Lu	Characterizing Liveness of Petri Nets in Terms of Siphons.	ICATPN	2002	DBLP DOI BibTeX RDF	Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous
39	Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano	Towards Biopathway Modeling and Simulation.	ICATPN	2003	DBLP DOI BibTeX RDF
39	Kevin X. He, Michael D. Lemmon	Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF
39	Evgeniy A. Golenkov, A. S. Sokolov, George V. Tarasov, Dmitriy I. Kharitonov	Experimental Version of Parallel Programs Translator from Petri Nets to C++.	PaCT	2001	DBLP DOI BibTeX RDF	distributed systems, parallel programming, Petri Nets, Parallel systems, supercomputing, computers clusters
39	Marc Melià, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner	Experimentation and output interchange for petri net models.	WOSP	2008	DBLP DOI BibTeX RDF	tool interoperabiliy, petri nets, performance models, experimentation, xml, software performance engineering, interchange formats
39	Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann	QPME - Queueing Petri Net Modeling Environment.	QEST	2006	DBLP DOI BibTeX RDF
39	Olaf Kummer, Daniel Moldt, Frank Wienberg	Symmetric Communication between Coloured Petri Net Simulations and Java-Processes.	ICATPN	1999	DBLP DOI BibTeX RDF	Design/CPN, Java, Workflow, Framework, Prototyping, Distributed Simulation, Coloured Petri Nets, Computer Tools
38	Hartmut Ehrig, Julia Padberg	A Uniform Approach to Petri Nets.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
38	Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves	PN Standardisation: A Survey.	FORTE	2006	DBLP DOI BibTeX RDF
38	Berndt Farwer, Saraswati Kalvala, Kundan Misra	Controller Synthesis for Object Petri Nets.	ICFEM	2003	DBLP DOI BibTeX RDF
38	Enric Pastor, Jordi Cortadella, Oriol Roig	Symbolic Analysis of Bounded Petri Nets.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Binary Decition Diagrams, Petri nets, formal verification, symbolic methods
38	Makoto Tanabe	Timed Petri Nets and Temporal Linear Logic.	ICATPN	1997	DBLP DOI BibTeX RDF	temporal linear logic, timed Petri nets, quantales
38	Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian 0002	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
38	Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez	On Observability and Design of Observers inTimed Continuous Petri Net Systems.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
38	Thomas S. Heinze, Wolfram Amme, Simon Moser	Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.	ICIW	2008	DBLP DOI BibTeX RDF
38	Xianfei Tang, Changjun Jiang, Zhijun Ding	Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.	ICWS	2007	DBLP DOI BibTeX RDF
38	Anikó Costa, Luís Gomes 0001	Partitioning of Petri net models amenable for Distributed Execution.	ETFA	2006	DBLP DOI BibTeX RDF
38	Charles Lakos	A Petri Net View of Mobility.	FORTE	2005	DBLP DOI BibTeX RDF
38	Mathias Thomas Bessey	Implementation of on-line simulation with the colored Petri net simulator RENEW.	SMC (6)	2004	DBLP DOI BibTeX RDF
38	Shouguang Wang, Gangfeng Yan	Synthesis of Petri net controller based local incidence matrix.	SMC (2)	2004	DBLP DOI BibTeX RDF
38	Juliane Dehnert, Armin Zimmermann	Making Workflow Models Sound Using Petri Net Controller Synthesis.	CoopIS/DOA/ODBASE (1)	2004	DBLP DOI BibTeX RDF
38	Karsten Schmidt 0004	Using Petri Net Invariants in State Space Construction.	TACAS	2003	DBLP DOI BibTeX RDF
38	Victor Khomenko, Maciej Koutny, Walter Vogler	Canonical Prefixes of Petri Net Unfoldings.	CAV	2002	DBLP DOI BibTeX RDF	canonical prefix, Model checking, Petri nets, unfolding
38	Kiichiro Tsuji, A. Ohta	An extended Petri net III and its applications.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
38	Kensuke Hasegawa, Paulo E. Miyagi, Diolino J. Santos Filho, Kouji Takahashi, Li-qu Ma, Makiko Sugisawa	On Resource Arc for Petri Net Modelling of Complex Resource Sharing System.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	discrete production systems, Production Flow Schema (PFS), Mark Flow Graph (MFG), Petri nets, resource sharing
38	Martin Naedele, Jörn W. Janneck	Design Patterns in Petri Net System Modeling.	ICECCS	1998	DBLP DOI BibTeX RDF	Petri nets, design patterns, modeling and simulation
38	Wil M. P. van der Aalst, Twan Basten	Life-Cycle Inheritance: A Petri-Net-Based Approach.	ICATPN	1997	DBLP DOI BibTeX RDF	Petri nets, Object orientation, Inheritance, Workflow management, Object life cycle
38	Herwig Unger, Khaled Ben Achour	A Petri-Net-Based Method to the Design of Parallel Programs for a Multiprocessor System.	CONPAR	1992	DBLP DOI BibTeX RDF
38	John B. Evans	The Devnet: a Petri Net for Discrete Event Simulation.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Circumspect token, engagement strategy, entity interaction, firing strategy, net implementation, object net, program activation, Simian language, simulation complexity, temporal expressions, parallelism, discrete-event simulation, processes, control structures
38	P. David Stotts, Richard Furuta	Petri-Net-Based Hypertext: Document Structure with Browsing Semantics.	ACM Trans. Inf. Syst.	1989	DBLP DOI BibTeX RDF
38	J. Carlier, Philippe Chrétienne	Timed Petri net schedules.	European Workshop on Applications and Theory of Petri Nets	1987	DBLP DOI BibTeX RDF