Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design as interaction with computer based materials
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
Petri net based simulation of construction schedules
Proceedings of the 29th conference on Winter simulation
Communication protocol design to facilitate re-use based on the object-oriented paradigm
Mobile Networks and Applications - Special issue: protocols for mobile environments
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Parallel and Distributed Systems
Simulation of the structural steel erection process
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
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)
The architecture and implementation of CPN2000, a post-WIMP graphical application
UIST '00 Proceedings of the 13th annual ACM symposium on User interface software and technology
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
Using petri nets for specifying active objects and generative communication
Concurrent object-oriented programming and petri nets
Concurrent object-oriented programming and petri nets
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
A multi-level approach and infrastructure for agent-oriented software development
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
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
Petri net script: a visual language for describing action, behaviour and plot
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
Synthesis of Controllers of Processes Modeled as ColoredPetri Nets
Discrete Event Dynamic Systems
Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach
Discrete Event Dynamic Systems
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
Managing Autonomous Vehicles at Intersections
IEEE Intelligent Systems
Expanding an advanced, interface: modifying and reapplying design guidelines
CHI '01 Extended Abstracts on Human Factors in Computing Systems
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
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Analysis and Verification Queries over Object-Oriented Petri Nets
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
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
An Approach to the Analysis of Interworking Traders
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Petri Net Theory - Problems Solved by Commutative Algebra
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Incremental State Space Construction for Coloured Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Condensed State Spaces for Timed Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
The Challenge of Object Orientation for the Analysis of Concurrent Systems
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Symmetry and Reduced Symmetry in Model Checking
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Performance Evaluation of a Consensus Algorithm with Petri Nets
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
A Real Delay Switching Activity Simulator based on Petri net Modeling
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
A Colored Petri Net-Based Formal Method for the Design of Control Systems
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Synthesis of Petri net models: a rough set approach
Fundamenta Informaticae - Concurrency specification and programming
Modeling and verification of a class of real-time systems by the use of high level petri nets
Journal of Systems and Software
Petri net modeling of gate and interconnect delays for power estimation
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special section on low power
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Automatic verification for a class of distributed systems
Distributed Computing
Composition of software artifacts modelled using colored Petri nets
Science of Computer Programming - Special issue on new software composition concepts
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
A Proposal For Relative Time Petri Nets
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Consistency in model integration
Data & Knowledge Engineering - Special issue: Business process management
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
MTP: a Petri net-based framework for the analysis and transformation of SystemC designs
SCOPES '05 Proceedings of the 2005 workshop on Software and compilers for embedded systems
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
Incorporating Heterogeneity in Command Center Interactions
Information-Knowledge-Systems Management
Formal modelling and verification of a component model using coloured petri nets and model checking
Proceedings of the 2007 ACM symposium on Applied computing
WI '06 Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Electronic Notes in Theoretical Computer Science (ENTCS)
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
EURASIP Journal on Applied Signal Processing
A context inference framework based on fuzzy colored timed Petri nets
DNCOCO'07 Proceedings of the 9th WSEAS International Conference on Data Networks, Communications, Computers
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
A Petri net simulator for self-organizing systems
AIKED'06 Proceedings of the 5th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering and Data Bases
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Approximating the buffer allocation problem using epochs
Journal of Parallel and Distributed Computing
Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Compositional Definitions of Minimal Flows in Petri Nets
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Log-based transactional workflow mining
Distributed and Parallel Databases
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
Proceedings of the Working Conference on Advanced Visual Interfaces
Integrated Knowledge-based System for Product Design in Furniture Estimate
Proceedings of the 2006 conference on Integrated Intelligent Systems for Engineering Design
Performance Evaluation of Sensor Medium Access Control Protocol Using Coloured Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Coloured Petri Nets for Chronicle Recognition
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Adapting Models to Model Checkers, A Case Study: Analysing AADL Using Time or Colored Petri Nets
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Evolving event-driven programs
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Flexible coordinator design for modeling resource sharing in multi-agent systems
Journal of Systems and Software
Architecture compliance checking at run-time
Information and Software Technology
QoS management for real-time DataBases in embedded systems
Proceedings of the 2008 Euro American Conference on Telematics and Information Systems
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
A compositional modelling framework for exploring MPSoC systems
CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis
TROPIC: a framework for model transformations on petri nets in color
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Virtual prototyping of automated manufacturing systems with Geometry-driven Petri nets
Computer-Aided Design
A control oriented model of generalized warehouses based on colored timed petri nets
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Information Sciences: an International Journal
Protocol Performance Analysis Using a Timed Extension for an Object Oriented Petri Net Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
A well-structured framework for analysing petri net extensions
Information and Computation
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Parametric stochastic well-formed nets and compositional modelling
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
User interface prototyping based on UML scenarios and high-level Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
PCI'01 Proceedings of the 8th Panhellenic conference on Informatics
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A process-oriented model for authentication on the basis of a coloured Petri net
BPM'03 Proceedings of the 2003 international conference on Business process management
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
A new grid computation-based min-min algorithm
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 1
Formalization of semantics of systems with unreliable agents by means of nets of active resources
Programming and Computing Software
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
On-the-fly auditing of business processes
Transactions on Petri nets and other models of concurrency IV
Analyzing web service choreography specifications using colored Petri nets
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
Hierarchical timed colored petri nets based product development process modeling
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Requirements and method for assessment of service interoperability
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Expressiveness and efficient analysis of stochastic well-formed nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A perspective on explicit state space exploration of coloured petri nets: past, present, and future
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Software Engineering for Multi-Agent Systems III
Component-Based Software Development for Embedded Systems
Scheduling the interactions of multiple parallel jobs and sequential jobs on a non-dedicated cluster
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV
Formal methods for modeling, refining and verifying autonomic components of computer networks
Transactions on Computational Science XV
Employing symmetry reductions in model checking
Computer Languages, Systems and Structures
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
High-Level Petri Net Model Checking with AlPiNA
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analysis of Approximate Petri Nets by Means of Occurrence Graphs
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Finding Symmetries of Algebraic System Nets
Fundamenta Informaticae
Invariant conditions in value system simulation models
Decision Support Systems
| Hi-index | 0.00 |