- A new paradigm for uncertain knowledge representation by Plausible Petri nets
2018/04/10 by Manuel Chiachío, Juan Chiachío, Darren Prescott +1 · 1 citation
Computer Science · Business, Management and Accounting · Decision Sciences · Mathematics · #Petri Nets in System Modeling #Business Process Modeling and Analysis #Simulation Techniques and Applications #Petri net #Computer science #Representation (politics) #Theoretical computer science #State (computer science) #Knowledge representation and reasoning #Process architecture #Event (particle physics) #Feature (linguistics) #Algebraic number #Artificial intelligence #Mathematics #Algorithm
- On Characterising Distributability
2013/09/17 by Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann · 1 citation
Computer Science · #Artificial intelligence #Branching (polymer chemistry) #Class (philosophy) #Computer science #Distributed systems and fault tolerance #Divergence (linguistics) #Formal Methods in Verification #Petri Nets in System Modeling #Petri net #Process architecture #Process calculus #Programming language #Stochastic Petri net #Theoretical computer science #cs.LO
- High-level Petri nets for the process description and control in service-oriented manufacturing systems
2011/08/04 by J. Marco Mendes, Paulo Leitão, Armando Walter Colombo +1 · 2 citations
Computer Science · Business, Management and Accounting · Engineering · #Petri Nets in System Modeling #Business Process Modeling and Analysis #Service-Oriented Architecture and Web Services #Petri net #Modularity (biology) #Interoperability #Computer science #Formalism (music) #Flexibility (engineering) #Process architecture #Software engineering #Systems engineering #Distributed computing #Service (business) #Encapsulation (networking) #Service-orientation #Process (computing) #Engineering #Programming language #Operating system
- Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph
2008/05/01 by Joaquín López Fernández, Rafael Sanz, Enrique Paz +1 · 1 citation
Computer Science · #Petri Nets in System Modeling #Context-Aware Activity Recognition Systems #Mobile Agent-Based Network Management #Petri net #Computer science #Debugging #Middleware (distributed applications) #Distributed computing #Process architecture #Event (particle physics) #Robot #State (computer science) #Tracing #Mobile robot #Programming language #Operating system #Artificial intelligence
- “What Is a Petri Net?” Informal Answers for the Informed Reader
2001/01/01 by Jörg Desel, Gabriel Juhás · 1 citation
Business, Management and Accounting · Computer Science · Mathematics · #Artificial intelligence #Business Process Modeling and Analysis #Computer network #Computer science #Distributed computing #Header #Mathematics #Net (polyhedron) #Petri Nets in System Modeling #Petri dish #Petri net #Process architecture #Programming language #Service-Oriented Architecture and Web Services #Stochastic Petri net #Theoretical computer science
- Hardware Design and Petri Nets
2000/01/01 by Alex Yakovlev, Lúıs Gomes, Luciano Lavagno · 2 citations
Computer Science · Engineering · #Computer architecture #Computer science #Digital electronics #Electrical engineering #Electronic circuit #Embedded Systems Design Techniques #Embedded system #Engineering #Petri Nets in System Modeling #Petri dish #Petri net #Process architecture #Programming language #State (computer science) #VLSI and Analog Circuit Testing
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
1998/02/01 by Wil M. P. van der Aalst · 4 citations
Business, Management and Accounting · Computer Science · Engineering · #Business Process Modeling and Analysis #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services #Petri net #Workflow #Computer science #Workflow management system #XPDL #Process architecture #Correctness #Windows Workflow Foundation #Workflow technology #Software engineering #Workflow engine #Business process #Programming language #Distributed computing #Database #Engineering #Work in process
- A brief introduction to coloured Petri Nets
1997/01/01 by Kurt Jensen · 1 citation
Business, Management and Accounting · Computer Science · Decision Sciences · #Business Process Modeling and Analysis #Computer science #Distributed computing #Operating system #Petri Nets in System Modeling #Petri net #Process architecture #Programming language #Shared resource #Simulation Techniques and Applications #Theoretical computer science
- Petri nets and algebraic specifications
1991/03/01 by Wolfgang Reisig · 2 citations
Business, Management and Accounting · Computer Science · Mathematics · #Algebraic number #Business Process Modeling and Analysis #Computer science #Construct (python library) #Formalism (music) #Mathematics #Petri Nets in System Modeling #Petri dish #Petri net #Process architecture #Programming language #Rotation formalisms in three dimensions #Service-Oriented Architecture and Web Services #Stochastic Petri net #Theoretical computer science
- Some decision problems related to the reachability problem for Petri nets
1976/10/01 by Toshiro Araki, Tadao Kasami · 1 citation
Computer Science · Mathematics · #Algorithm #Computer science #Decidability #Decision problem #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Mathematics #Petri Nets in System Modeling #Petri net #Process architecture #Reachability #Reachability problem #Stochastic Petri net #Theoretical computer science #Undecidable problem #semigroups and automata theory