A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An environment for specifying an executing hierarchical Petri nets
ICSE '90 Proceedings of the 12th international conference on Software engineering
Dynamic change in office automation: modeling and analysis
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
COCS '95 Proceedings of conference on Organizational computing systems
Modeling design tasks and tools: the link between product and flow model
DAC '97 Proceedings of the 34th annual Design Automation Conference
Proceedings of the 20th international conference on Software engineering
Process control for large complex systems
WSC '91 Proceedings of the 23rd conference on Winter simulation
Formalization of Workflows and Correctness Issues in the Presence of Concurrency
Distributed and Parallel Databases - Special issue on electronic commerce
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Process-Centered Software Engineering Environments, A Brief History and Future Challenges
Annals of Software Engineering
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
Managing Derived Data in the Gaea Scientific DBMS
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A State Machine Based Approach for a Process Driven Development of Web-Applications
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
M-net Calculus Based Semantics for Triggers
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Management-Oriented Models of Business Processes
Business Process Management, Models, Techniques, and Empirical Studies
A Visual Formalism for the Composition of Stochastic Petri Nets
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Generation of test requirements from aspectual use cases
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Evaluating test adequacy coverage of high level petri nets using spin
Proceedings of the 3rd international workshop on Automation of software test
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
Simulation of IT Service Processes with Petri-Nets
Service-Oriented Computing --- ICSOC 2008 Workshops
P-Semiflow Computation with Decision Diagrams
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
Modelling with history-dependent Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Intelligent design assistance with SEA
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A model transformation approach for verifying multi-agent systems using SPIN
Proceedings of the 2011 ACM Symposium on Applied Computing
A tool for automated test code generation from high-level petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
How expressive are petri net schemata?
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A model-based approach to automated testing of access control policies
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Engineering animations in user interfaces
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Design for service compatibility
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |