Integrating BPR with image-based work flow
WSC '94 Proceedings of the 26th conference on Winter simulation
Efficient execution of programs with static semantics
ACM SIGPLAN Notices
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
WSC '96 Proceedings of the 28th conference on Winter simulation
WSC '93 Proceedings of the 25th conference on Winter simulation
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
On-the-Fly Model Checking Under Fairness that Exploits Symmetry
Formal Methods in System Design
SMC: a symmetry-based model checker for verification of safety and liveness properties
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Specific proposals for the use of petri nets in a concurrent programming course
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Compositional Semantics of a Real-Time Prototyping Language
IEEE Transactions on Software Engineering
A Case Study on Using Automata in Control Synthesis
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Abstract Petri Nets as a Uniform Approach to High/Level Petri Nets
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Artificial Intelligence for Building Learning Health Care Organizations
AIMDM '99 Proceedings of the Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making
From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
CHARME '99 Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Protocol Engineering for Multi-agent Interaction
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Efficient simulation of SWN models
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Characterization of timed well-formed Petri nets behavior by means of occurrence equations
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Evaluation of high level Petri nets by means of aggregation and decomposition
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Framework for business process redesign
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Object-Oriented Behaviour Modelling or Real-Time Design
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 15 - Volume 16
A rapid prototyping software infrastructure for user interfaces in ubiquitous augmented reality
Personal and Ubiquitous Computing
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
Proceedings of the 2008 Spring simulation multiconference
INCOME2010 - a toolset for developing process-oriented information systems based on petri nets
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
A compact CPN representation for embedded and control systems fault diagnosis and recovery
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics and Verification of Data Flow in UML 2.0 Activities
Electronic Notes in Theoretical Computer Science (ENTCS)
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A proposal for structuring Petri net-based agent interaction protocols
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Deadlock free specification based on local process properties
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Modelling and verification of timed interaction and migration
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
An integrated approach for modeling and facilitating RFID-based collaborative logistics processes
Proceedings of the 2011 ACM Symposium on Applied Computing
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
A lumped Markov process for a class of dynamic Petri nets
Proceedings of the 44th Annual Simulation Symposium
A high level language for structural relations in well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Formal methods for modeling, refining and verifying autonomic components of computer networks
Transactions on Computational Science XV
Regular paper: Temporal analysis of data flow control systems
Automatica (Journal of IFAC)
Employing symmetry reductions in model checking
Computer Languages, Systems and Structures
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Hi-index | 0.01 |